Merge branch 'file-filter-properties' into 'main'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 22 Nov 2022 04:00:40 +0000 (04:00 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 22 Nov 2022 04:00:40 +0000 (04:00 +0000)
commit0de172f03d6832f434bfffc50befc45ea105a27a
treeafa38b6ed62d92283a08cf6e2c37a31d5ec6b4f4
parent055f3e5d97526232c0a9b890a3ab0e5f88b2985b
parentd34ac99916daf242aa7f05882dbebda0c9175785
Merge branch 'file-filter-properties' into 'main'

filefilter: Add properties for the criteria

See merge request GNOME/gtk!5241